This item is provided so you can always create a .ps
file even if the currently chosen printer is non-PostScript.
When dvips is called from the File menu then the default
destination is the current printer, but if called from the
Tools menu then the default destination is a file.
Note that Option-clicking on the Save button will skip the save-file
dialog and create foo.ps in the same folder as foo.dvi.